-- Test Multiple Errors
DEF MAIN:bool == true
DEF fun(X:nat):nat == true
DEF fun2(X:bool):nat == X
